Stochastic Hybrid Dynamic Multicultural Social Networks
نویسندگان
چکیده
منابع مشابه
Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata
In this paper we present a modelling formalism for dynamic networks of stochastic hybrid automata. In particular, our formalism is based on primitives for the dynamic creation and termination of hybrid automata components during the execution of a system. In this way we allow for natural modelling of concepts such as multiple threads found in various programming paradigms, as well as the dynami...
متن کاملOverlapping Community Detection in Social Networks Based on Stochastic Simulation
Community detection is a task of fundamental importance in social network analysis. Community structures enable us to discover the hidden interactions among the network entities and summarize the network information that can be applied in many applied domains such as bioinformatics, finance, e-commerce and forensic science. There exist a variety of methods for community detection based on diffe...
متن کاملoverlapping community detection in social networks based on stochastic simulation
community detection is a task of fundamental importance in social network analysis. community structures enable us to discover the hidden interactions among the network entities and summarize the network information that can be applied in many applied domains such as bioinformatics, finance, e-commerce and forensic science. there exist a variety of methods for community detection based on diffe...
متن کاملStochastic Differential Dynamic Logic for Stochastic Hybrid Programs
Logic is a powerful tool for analyzing and verifying systems, including programs, discrete systems, real-time systems, hybrid systems, and distributed systems. Some applications also have a stochastic behavior, however, either because of fundamental properties of nature, uncertain environments, or simplifications to overcome complexity. Discrete probabilistic systems have been studied using log...
متن کاملDynamic Social Networks Logic
We introduce a general framework for reasoning about dynamic processes within social networks, such as diffusion phenomena. First, we define the new Dynamic Social Networks Logic, a dynamic extension of standard hybrid modal logic. We then provide a complete axiomatization for this logic and give a terminating and complete tableau system for it. Finally, we show how to apply the framework to dy...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions on Networks and Communications
سال: 2017
ISSN: 2054-7420
DOI: 10.14738/tnc.55.3643